1. Logical number theory : an introduction
پدیدآورنده : Smorynski, C
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Number theory,، Logic, Symbolic and mathematical
رده :
QA
241
.
S614
1991
2. Self-reference and modal logic
پدیدآورنده : Smorynski, Craig
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
QA
9
.
46
.
S6
1985
